Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
501	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
502	Features as First-class Entities – Toward a Better Representation of Features ¨ Sagar Sunkle, Marko Rosenmuller, Norbert Siegmund, Syed Saif ur Rahman, Gunter Saake Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2008-10-06 13:11:44 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Concurrent programming languages Programming paradigms Scripting languages Aspect-oriented software development Object-oriented programming Feature model Objective-C
503	Hybrid Programming: Preparing for Exascale William Gropp www.cs.illinois.edu/~wgropp What This Talk is Not Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Computing Computer programming Parallel computing Software engineering OpenMP Data parallelism Thread Lis Message Passing Interface Standard Performance Evaluation Corporation
504	CS240H: Implementing Paxos in Haskell Jiayuan Ma JuneAbstract Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Fault-tolerant computer systems Computing Distributed algorithms Computer programming Inter-process communication Paxos Consensus Software engineering Haskell features Algorithm Futures and promises
505	EZTrace: a generic framework for performance analysis Fran¸cois Trahay, Fran¸cois Rue, Mathieu Faverge, Yutaka Ishikawa, Raymond Namyst, Jack Dongarra To cite this version: Fran¸cois Trahay, Fran¸cois Rue, Mathieu Fa Add to Reading List Source URL: hal.inria.fr Language: English Computing Computer programming Parallel computing Software engineering Application programming interfaces Fortran OpenMP Standard Performance Evaluation Corporation Thread
506	_ __ ___ __ ___ __ ___ __ __ ___ __ ___ __ ___ __ __ ___ __ ___ __ ___ __ __ ___ __ ___ __ ___ __ _ Colorado Genealogical Society C o m p u te r In te r e s t G r o u p N e w s l e tte r Mar.-Apr. 2009 Add to Reading List Source URL: cigcolorado.org Language: English - Date: 2016-02-09 15:01:05 Computer programming Obfuscation Software engineering Computing Index of standards articles Standards Index of Abkhazia-related articles
507	Rumor Spreading with Bounded In-Degree∗ Sebastian Daum, Fabian Kuhn, and Yannic Maus Deptartment of Computer Science, University of FreiburgFreiburg, Germany , {kuhn, yannic.maus}@cs.uni- Add to Reading List Source URL: sirocco2016.hiit.fi Language: English - Date: 2016-07-05 06:08:11 Combinatorial optimization Routing algorithms Search algorithms Binary trees Mathematics Computer programming Applied mathematics Probability With high probability A* search algorithm Rope
508	[Faculty of Science Information and Computing Sciences] Applied Functional Programming USCS 2011 Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2011-08-16 05:40:43 Software engineering Computing Computer programming Functional languages Concurrent programming languages Literate programming QuickCheck Scala Haskell Software bug
509	An approach for the understanding of scientific application programs based on program specialization Sandrine Blazy, Philippe Facon CEDRIC IIE 18 allée Jean RostandEvry Cedex Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Data types Source code Subroutines Type theory Fortran Parameter Scope Variable Record
510	LNCSA Standard Framework for Timetabling Problems Add to Reading List Source URL: stefan.buettcher.org Language: English - Date: 2006-04-07 00:52:14 Constraint programming Mathematical optimization Artificial intelligence Theoretical computer science Applied mathematics Constraint logic programming NP-hard problems Operations research Genetic algorithm Nurse scheduling problem Constrained optimization

UPDATE